Building better programming languages.

Cornell's programming languages research combines deep theoretical foundations with practical innovation and has shaped fundamental computer science through breakthroughs in type theory, theorem proving, and language semantics. Researchers extend these foundations to tackle modern challenges in security, distributed systems, and networking, while advancing compiler optimization, program analysis, and domain-specific languages.

 

Cornell Programming Language Research Group

Faculty exploring programming languages.

A color photo of Michael Clarkson, a smiling man with a buzzed head, glasses and a gray shirt in front of a gray background
Michael Clarkson
Steven H. Weiss Provost’s Teaching Fellow, Teaching Professor of Computer Science, Director of Undergraduate Studies, Computer Science
Michael Clarkson
Steven H. Weiss Provost’s Teaching Fellow, Teaching Professor of Computer Science, Director of Undergraduate Studies, Computer Science
Contact
mrc26@cornell.edu
Clarkson's Website
A photo of Saikat Dutta, a man with dark brown hair and a beard, wearing a blue shirt in front of a leafy background
Saikat Dutta
Assistant Professor of Computer Science
Saikat Dutta
Assistant Professor of Computer Science
Contact
saikatd@cornell.edu
Dutta's Website
A photo of Kevin Ellis, a man with curly brown hair wearing a beige-gray shirt in front of a gray backround.
Kevin Ellis
Assistant Professor of Computer Science
Kevin Ellis
Assistant Professor of Computer Science
Contact
kellis@cornell.edu
Ellis' Website
A photo of Nate Foster, a man with short brown hair and a gray shirt.
Nate Foster
Professor of Computer Science
Nate Foster
Professor of Computer Science
Contact
jnfoster@cs.cornell.edu
Foster's Website
A photo of Justin Hsu, a man with short dark hair in front of a leafy background
Justin Hsu
Associate Professor of Computer Science
Justin Hsu
Associate Professor of Computer Science
Contact
justin@cs.cornell.edu
Hsu's Website
A photo of Dexter Kozen, a smiling man with short gray hair, glasses and a plaid shirt
Dexter Kozen
Joseph Newton Pew, Jr. Professor Emeritus
Dexter Kozen
Joseph Newton Pew, Jr. Professor Emeritus
Contact
(607) 255-9209
kozen@cs.cornell.edu
Kozen's Website
Color portrait of Greg Morrisett
Greg Morrisett
Professor of Computer Science, Jack and Rilla Neafsey Dean and Vice Provost, Cornell Tech
Greg Morrisett
Professor of Computer Science, Jack and Rilla Neafsey Dean and Vice Provost, Cornell Tech
Contact
jgm19@cornell.edu
Morrisett's Research
A color photo of Andrew Myers in front of a grey background
Andrew Myers
Professor of Computer Science, Class of 1912 Professor of Engineering, Director of Graduate Studies
Andrew Myers
Professor of Computer Science, Class of 1912 Professor of Engineering, Director of Graduate Studies
Contact
(607) 255-8597
andru@cs.cornell.edu
Myers' Website
A photo of Adrian Sampson, a man with short dark-blond hair and a gray shirt in front of a gray background
Adrian Sampson
Associate Professor of Computer Science
Adrian Sampson
Associate Professor of Computer Science
Contact
asampson@cs.cornell.edu
Sampson's Website
A photo of Fred Schneider, a man with dark gray hair and a mustache, in a striped shirt in front of a staircase
Fred B. Schneider
Samuel B. Eckert Professor of Computer Science
Fred B. Schneider
Samuel B. Eckert Professor of Computer Science
Contact
(607) 255-9221
fbs@cs.cornell.edu
Schneider's Website
A photo of Alexandra Silva, a smiling woman with shoulder length brown hair and a blue shirt in front of a gray background
Alexandra Silva
Professor of Computer Science
Alexandra Silva
Professor of Computer Science
Contact
alexandra.silva@cornell.edu
Silva's Website